Automated reasoning

#	Item
281	PDF Document Add to Reading List Source URL: www.cs.uta.fi Language: English - Date: 2004-06-04 08:31:17 Automated theorem proving Model theory E theorem prover Theorem prover Tau First-order logic IP Logic in computer science Automated reasoning Theoretical computer science Mathematical logic Software
282	PDF Document Add to Reading List Source URL: www.easychair.org Language: English - Date: 2006-10-20 11:59:18 Theoretical computer science Automated theorem proving Formal methods Philosophy of mathematics Logic in computer science Automated reasoning Formal verification Mathematical logic Formal proof Mathematics Logic Applied mathematics
283	PDF Document Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-07-17 03:24:03 Automated theorem proving Formal methods E theorem prover Vampire CADE ATP System Competition Logic in computer science Geoff Sutcliffe Automated reasoning CASC Logic Mathematics Mathematical logic
284	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2005-06-08 08:30:23 Mathematical proof QED manifesto Square root of 2 Automated reasoning Metamath Theorem Algorithm Proof assistant Prime number Mathematics Logic Mathematical logic